1. $b$ : $\mathbb{B}$
\\[0ex]$\vdash$  (0 $\leq$ b2i($b$)) $\wedge$ (b2i($b$) $\leq$ 1)